141. Mathematical foundations of computer science 2013 :
پدیدآورنده : Krishnendu Chatterjee, Jirí Sgall, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Computer programming.,Computer science -- Mathematics -- Congresses.
رده :
QA76
.
9
.
M35
K757
9999
142. Methodologies for Intelligent Systems, 4: Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems held October 12-14, 1989, in Charlotte, North Carolina
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Artificial intelligence- Congresses,Reasoning- Congresses,Knowledge, Theory of- Congresses,Logic, Symbolic and mathematical- Congresses
رده :
Q
،
334
،.
I576
،
1989
143. Methodologies for intelligent systems, 4 : Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, in Charlotte, North Carolina
پدیدآورنده : editor, Zbigniew W. Ras
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Knowledge, Theory of,Congresses ، Logic, Symbolic and mathematical
رده :
Q
334
.
I576
1989
144. Model-Based Reasoning in Scientific Discovery
پدیدآورنده : edited by Lorenzo Magnani, Nancy J. Nersessian, Paul Thagard.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Discoveries in science -- Congresses.,Qualitative reasoning -- Congresses.,Science -- Methodology -- Congresses.
رده :
Q175
.
32
.
R45
E358
1999
145. Model-based reasoning in science and technology
پدیدآورنده : / Lorenzo Magnani, Walter Carnielli, and Claudio Pizzi (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Model-based reasoning--Congresses
رده :
Q
,
339
.
19
,.
M64
,
2010
146. Model-based reasoning in science and technology :
پدیدآورنده : Ángel Nepomuceno-Fernández, Lorenzo Magnani, Francisco J. Salguero-Lamillar, Cristina Barés-Gómez, Matthieu Fontaine, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Model-based reasoning, Congresses.,Model-based reasoning.
رده :
Q339
.
19
.
M63
2018eb
147. Modeling decisions for artificial intelligence :
پدیدآورنده : Vicenç Torra [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence -- Mathematical models -- Congresses.,Artificial intelligence -- Mathematical models.,Informatique.
148. Multisensor fusion
پدیدآورنده : edited by A.K. Hyder, E. Shahbazian and E. Waltz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Detectors -- Congresses.,Intelligent control systems -- Congresses.,Multisensor data fusion -- Congresses.
149. Non-monotonic reasoning : 2nd international Workshop, Grassau, FRG, June 1988: Proceedings
پدیدآورنده : M. Reinfrank, ]editor[...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
346
150. Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Artificial intelligence-- Congresses,، Reasoning-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
334
.
N66
1989
151. On the Move to Meaningful Internet Systems:
پدیدآورنده : Pilar Herrero [and others] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cloud computing -- Congresses.,Computer networks -- Congresses.,Internet -- Congresses.
152. Optimization-based computer-aided modelling and design :
پدیدآورنده : A.J. Beulens, H.-J. Sebastian (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer simulation -- Congresses.,Computer-aided design -- Congresses.,Computer-aided design.
153. Optimization-based computer-aided modelling and design :
پدیدآورنده : A.J. Beulens, H.-J. Sebastian (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer simulation -- Congresses.,Computer-aided design -- Congresses.,Computer-aided design.
رده :
QA76
.
9
.
C65
A334
1992
154. PRICAI 2004 :
پدیدآورنده : Chengqi Zhang, Hans W. Guesgen, Wai K. Yeap (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,COMPUTERS -- Enterprise Applications -- Business Intelligence Tools.,COMPUTERS -- Intelligence (AI) & Semantics.
رده :
Q334
.
C446
2004
155. PRIMA 2018 :
پدیدآورنده : Tim Miller, Nir Oren, Yuko Sakurai, Itsuki Noda, Bastin Tony Roy Savarimuthu, Tran Cao Son (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Multiagent systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Multiagent systems.,Network hardware.,Software Engineering.
رده :
QA76
.
76
.
I58
156. Philosophical aspects of symbolic reasoning in early modern mathematics
پدیدآورنده : / edited by Albrecht Heeffer and Maarten Van Dyck
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical, History, Congresses
رده :
E-BOOK
157. Programming languages and systems :
پدیدآورنده : Amal Ahmed (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Computer programming.,Computer science.,Computers / Programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
158. Reasoning web :
پدیدآورنده : Claudia d'Amato, Martin Theobald (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Semantic computing, Congresses.,Semantic Web, Congresses.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Data Mining and Knowledge Discovery.,Database Management.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Databases.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,Semantic computing.,Semantic Web.
رده :
TK5105
.
88815
159. Recent developments and the new direction in soft-computing foundations and applications :
پدیدآورنده : edited by Lotfi A. Zadeh, Ronald R. Yager, Shahnaz N. Shahbazova, Marek Z. Reformat, Vladik Kreinovich.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Soft computing, Congresses.,Artificial intelligence.,Automatic control engineering.,Computers-- Intelligence (AI) & Semantics.,Engineering: general.,Game theory.,Mathematics-- Game Theory.,Soft computing.,Technology & Engineering-- Automation.,Technology & Engineering-- General.
رده :
Q342
160. Recent developments in decision support systems
پدیدآورنده : edited by Clyde W. Holsapple, University of Kentucky, Business and Economic Bldg., Room 317, Lexington, KY 40506-0034, USA, Andrew B. Whinston, Department of Management Science and Information Systems, CBA 5.202, Graduate School of Business, University of Texas at Austin, Austin, TX 78712-1175, USA.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Decision support systems -- Congresses.,Decision support systems.,Management -- Data processing -- Congresses.
